Nuprl Lemma : mkid-wf-test 0,22
"xxx"  Id 
latex

Definitionst  T, "$x", Id

origin